home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / prolg191.arc / KOPS < prev    next >
Text File  |  1986-10-02  |  640b  |  16 lines
  1. batch.
  2. op(240,xfx,'implies').
  3. op(240,xfx,'only if').
  4. op(220,xfx,'is a').
  5. op(220,yfy,'`s').
  6. op(219,xfx,'eq').
  7. nl,
  8. print('\n                                   PIE.TM\n',
  9. '           A Forward and Backward Chaining Prolog Inference Engine\n',
  10. '                          With Truth Maintenance\n',
  11. '                Public Domain Version 1.1   19 November 1985\n',
  12. '                            By Simon Blackwell\n',
  13. '          Dept. of Philosophy, Bowling Green State University, Ohio').
  14. consult('know.pro').
  15. see(user).
  16.